Digital rights expression model based on first-order dynamic logic

• 一种采用一阶动态逻辑表示的数字权限描述模型